« Par » et « pour », valeurs textuelles

Formes symboliques et émergence de valeurs. Pour une cognition culturalisée

Résultats de complexité et programmation par contraintes pour l'ordonnancement

Spécification et Vérification par Interprétation Abstraite d’Aspects pour la Distribution

Nous présentons une méthode pour spécifier et vérifier des programmes en séparant les préoccupations. En particulier, nous décrivons la spécification puis la vérification par interprétation abstraite de programmes distribués. Un programme est composé de deux parties, une partie concurrente et une partie fonctionnelle. Elles sont ensuite composées en utilisant un mécanisme de tissage simple (syn...

Modélisation des déséquilibres mécaniques pour les écoulements diphasiques : approches par relaxation et par modèle réduit

Visualisation de données textuelles et inférence statistique

Les principaux outils de visualisation de données multidimensionnelles sont d’une part les analyses en axes principaux, qui portent des noms divers mais qui sont presque toutes fondées sur la décomposition aux valeurs singulières, et d’autre part les méthodes de classification, incluant les cartes auto-organisées de Kohonen. Ces deux familles d’outils sont d’ailleurs complémentaires, et leur us...